1. Logic for computer science /
پدیدآورنده : Steve Reeves, Michael Clarke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
R34
1990